Compositional Graphs
نویسندگان
چکیده
In many applications, graphs are a natural representation for the structure of a problem domain. Since functional languages supports only (tree-structured) algebraic datatypes, there are various ways to represent graphs in declarative languages. In this paper we describe a representation of graphs in a functional logic language. Our representation is compositional as lists or tree structures are. This property makes our representation useful for many application domains, like graphical user interfaces or web programming.
منابع مشابه
Extending Compositional Message Sequence Graphs
We extend the formal developments for message sequence charts (MSCs) to support scenarios with lost and found messages. We define a notion of extended compositional message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts in expressive power but additionally allows to define lost and found messages explicitly. As usual, ECMSCs might be combined by mean...
متن کاملMarkov properties for mixed graphs
In this paper, we unify the Markov theory of a variety of different types of graphs used in graphical Markov models by introducing the class of loopless mixed graphs, and show that all independence models induced by m-separation on such graphs are compositional graphoids. We focus in particular on the subclass of ribbonless graphs which as special cases include undirected graphs, bidirected gra...
متن کاملComparing Small Graph Retrieval Performance for Ontology Concepts in Medical Texts
Some terminologies and ontologies, such as SNOMED CT, allow for post–coordinated as well as pre-coordinated expressions. Post– coordinated expressions are, essentially, small segments of the terminology graphs. Compositional expressions add logical and linguistic relations to the standard technique of post-coordination. In indexing medical text, many instances of compositional expressions must ...
متن کاملA compositional approach to quantum functions
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum graphs, which captures the quantum graphs and quantum graph homomorphisms recently discovered in the study of nonlocal games and zero-error communication, a...
متن کاملReinterpretation of Causal Order Graphs Towards Effective Explanation Generation Using Compositional Modeling
Compositional modeling provides a number of advantages over conventional simulation software in explanation generation mainly because of its causal interpretation of data. However, little work was done with regard to a supporting algorithm that can generate cogent explanations from the simulation values and causal graphs of model parameters. Earlier attempts did not solve the problem of irrelev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002